This is DVItype, Version 2.8
Options selected:
  Starting page = * 
  Maximum number of pages = 1000000
  Output level = 0 (showing bops, fonts, and error messages only)
  Resolution =  300.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000;       0.00006334 pixels per DVI unit
' TeX output 1986.10.27:1845'
 
42: beginning of page 1 
Font 0: cmr10---loaded at size 655360 DVI units 
Font 72: cmbx10---loaded at size 1132462 DVI units 
 (this font is magnified 173%) 
Font 23: cmbx10---loaded at size 655360 DVI units 
 
 
944: beginning of page 2 
Font 70: cmbx10---loaded at size 786432 DVI units 
 (this font is magnified 120%) 
Font 5: cmr5---loaded at size 327680 DVI units 
 
 
16093: beginning of page 3 
 
 
16432: beginning of page 4 
Font 36: cmti10---loaded at size 655360 DVI units 
Font 30: cmtt9---loaded at size 589824 DVI units 
 
 
17636: beginning of page 5 
 
 
18645: beginning of page 6 
 
 
20976: beginning of page 7 
Font 71: cmbx10---loaded at size 943718 DVI units 
 (this font is magnified 144%) 
 
 
21292: beginning of page 8 
 
 
22254: beginning of page 9 
 
 
23696: beginning of page 10 
Font 12: cmsy10---loaded at size 655360 DVI units 
 
 
25765: beginning of page 11 
Font 24: cmbx9---loaded at size 589824 DVI units 
 
 
27675: beginning of page 12 
 
 
31635: beginning of page 13 
 
 
35965: beginning of page 14 
 
 
38927: beginning of page 15 
 
 
41788: beginning of page 16 
 
 
44750: beginning of page 17 
 
 
48811: beginning of page 18 
 
 
50073: beginning of page 19 
 
 
51807: beginning of page 20 
 
 
52340: beginning of page 21 
 
 
54658: beginning of page 22 
 
 
56375: beginning of page 23 
 
 
58662: beginning of page 24 
 
 
59025: beginning of page 25 
 
 
60156: beginning of page 26 
 
 
61135: beginning of page 27 
 
 
62410: beginning of page 28 
 
 
63134: beginning of page 29 
 
 
63748: beginning of page 30 
 
 
65094: beginning of page 31 
 
 
65997: beginning of page 32 
 
 
67367: beginning of page 33 
 
 
68636: beginning of page 34 
Font 6: cmmi10---loaded at size 655360 DVI units 
 
 
71269: beginning of page 35 
 
 
73141: beginning of page 36 
 
 
73495: beginning of page 37 
 
 
75375: beginning of page 38 
 
 
77242: beginning of page 39 
 
 
77883: beginning of page 40 
 
 
80653: beginning of page 41 
 
 
82167: beginning of page 42 
 
Postamble starts at byte 82341.
maxv=39904142, maxh=34603008, maxstackdepth=7, totalpages=42
Font 72: cmbx10 
Font 71: cmbx10 
Font 70: cmbx10 
Font 36: cmti10 
Font 30: cmtt9 
Font 24: cmbx9 
Font 23: cmbx10 
Font 12: cmsy10 
Font 6: cmmi10 
Font 5: cmr5 
Font 0: cmr10